Craig Newell

The Newell Highway Road Safety Review

The Newell Highway is the longest highway in NSW, stretching over 1,000 kilometres from the Victorian border to the Queensland border. It is a major freight route from Melbourne to Brisbane, as well as being popular with interstate travellers and tourists. This route was reviewed using a multi-disciplinary method developed by the NSW Centre for Road Safety based on Safe System principles. The r...

Reviewer : Craig

Craig Interpretation

Abstract interpretation (AI) is one of the most scalable automated approaches to program verification available today. To achieve efficiency, many steps of the analysis, e.g., joins and widening, lose precision. As a result, AI often produces false alarms, coming from the inability to find a safe inductive invariant even when it exists in a chosen abstract domain. To tackle this problem, we pre...

Craig Interpolation via Hypersequents

In this paper, we describe a novel constructive method of proving the Craig interpolation property (CIP) based on cut-free hypersequent calculi and apply the method to prove the CIP for the modal logic S5.

Craig Alan Feinstein

The question of whether the class of decision problems that can be solved by deterministic polynomial-time algorithms (P ) is equal to the class of decision problems that can be solved by nondeterministic polynomial-time algorithms (NP) has been open since it was first formulated by Cook, Karp, and Levin in 1971. In this paper, we prove that they are not equal by showing that any algorithm that...